Component Certi cation
نویسندگان
چکیده
|Component-Based Software Engineering relies on sources of reliable components: developers need to be able to trust the components with which they build larger systems. This has led to suggestions[1] that software certi cation laboratories should undertake the role of checking reliability of components o ered for sale. This paper argues that is it more e ective for developers to supply the test certi cates in a standard, portable form, allowing purchasers to examine and run the test sets themselves and thus to form an opinion as to whether the component will meet their needs or not. By removing necessarily expensive third-party certi cation exercises, one of the major potential economic bene ts of CBSE { the ability to build a complex system from inexpensive, but trusted, components will be retained.
منابع مشابه
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community
The evaluation of security properties of web services is a keyproblem, especially when business processes are dynamical-ly built by composing atomic services provided by di erentsuppliers at runtime. In this paper we present a Java-basedframework for the security certi cation of BPEL-based com-positions of web services. The framework is grounded on thetest-based service ...
متن کاملCertifying Software for High-Assurance Environments
Software certi cation processes have become so intertwined with development processes that true product certi cation which should demonstrate that the software will behave appro priately is almost never employed This de ciency calls for a new generation of certi cation processes This paper presents a methodology for certifying software systems that will be em ployed in environments with high as...
متن کاملThe static debugger: classical realizability rescuing the programmer
Software certi cation aims at proving the correctness of programs but in many cases, the use of external libraries allows only a conditional proof : the correctness of the program depends on the assumption that the libraries meet their speci cations. In particular, a bug in these libraries might still impact the certi ed program. In this case, the di culty that arises is to isolate the defectiv...
متن کاملLimited Software Warranties
Because there are di erent types of software e g language application target environment etc di erent software certi cation methodologies are needed Software process improvement schemes have not taken this approach and have therefore suf fered in widespread adoption as a result Their one approach ts all perspective is one reason why we are now seeing more customized process improvement schemes ...
متن کاملWhat is QCM ?
QCM stands for `Query Certi cate Manager'; it is a software system that has been developed at the University of Pennsylvania as part of the SwitchWare project on active networks. QCM is a Public Key Infrastructure (PKI) intended to support secure maintenance of distributed data sets like Access Control Lists (ACL's) or public key certi cate repositories. An ACL is a list of `principals', identi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001